Transition --Not Named--

Condition Send Event 
Action Send Arguments 
 Send Target 


Transition between states
FromAnálise de contexto de usoToDefinição das funções do produto